div.highlight {
    margin-left: 2em ;
    border: 1px solid #cccccc;
    margin-right: 2em ;
    background-color: #eeeedd;
    font-family: "Courier New", Courier, monospace;
    font-size: 10pt;
}
